201. Operations Research '93 :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
HD30
.
23
O647
1994
202. Operations Research and Discrete Analysis
پدیدآورنده: by Alekseĭ D. Korshunov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.
204. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
205. Perspectives of system informatics :
پدیدآورنده: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
206. Practical foundations for programming languages /
پدیدآورنده: Robert Harper
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2013
207. Principles of security and trust :
پدیدآورنده: Lujo Bauer, Ralf Küsters (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer science.,Computer security.,Computer security.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Systems analysis & design.
رده :
QA76
.
9
.
A25
P67
2018eb
208. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده: ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
209. Proof and computation
پدیدآورنده: edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
210. Rational Drug Design
پدیدآورنده: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Numerical analysis.
211. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
212. Rewired :
پدیدآورنده: edited by Ryan Ellis, Vivek Mohan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Security measures.,Computer security-- Government policy.,Internet governance.,Computer networks-- Security measures.,Computer security-- Government policy.,Internet governance.
رده :
QA76
.
9
.
A25
R436
2019
213. Rohit Parikh on Logic, Language and Society
پدیدآورنده: edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
214. STACS 87 :
پدیدآورنده: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science.,Computers.
216. Second Generation Expert Systems
پدیدآورنده: edited by Jean-Marc David, Jean-Paul Krivine, Reid Simmons.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
76
.
E95
E358
1993
217. Semantics for concurrency :
پدیدآورنده: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems -- Parallel programming,Parallel programming (Computer science)
رده :
QA76
.
6
E358
1990
218. Semantics of data types :
پدیدآورنده: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
219. Shared-memory parallelism can be simple, fast, and scalable /
پدیدآورنده: Julian Shun.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)
رده :
QA76
.
642
.
S587
2017
220. Simulating ecological and evolutionary systems in C /
پدیدآورنده: Will Wilson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C (Computer program language),Ecology-- Computer simulation.,Evolution (Biology)-- Computer simulation.,C (Langage de programmation),Écologie-- Simulation par ordinateur.,Évolution (Biologie)-- Simulation par ordinateur.,C,C (Computer program language),Computermodellen.,Computersimulation,Ecologie.,Ecology-- Computer simulation.,Evolutie.,Evolution,Evolution (Biology)-- Computer simulation.,Ökologie,Ökologie.,Ökosystem,Simulatiemodellen.
رده :
QH541
.
15
.
S5
W54
2000
